Web Services for Accessing Explicit State Space Verification Tools

β-lactamases, which degrade the antibiotic molecules; (B) Reduced binding affinities between the antibiotics and receptors in the bacterial cells. These antibiotic resistance mechanisms are of great clinical concern as their development and spread across many species of bacteria has led to the erosion of the efficacy of many commonly prescribed antibiotics, in particular penicillin and its derivatives.